Indexed Sets And Well Ordering Principle